Universal Instantiation Discrete Math