【计】 Skolem function
this【化】 geepound
【建】 chry-; chryso-
human relations; logic; match; order; peer
function【计】 F; FUNC; function