【计】 Skolem standard form
this【化】 geepound
【建】 chry-; chryso-
human relations; logic; match; order; peer
【计】 normal form