|entries|mathematics-constructive|