turned schoenfinkelize into a trait