Today I read about the Semipredicate problem. Basically how to signal failure from a called function.