Implemented ForAll Elimination
Implemented Exists Introduction