avoiding the undeened by underspeciication .
A Logical Approach to Discrete Math