|entries|mathematics-nondeductive|