(and (library validation) (library coercion))