Block with quantifiers now working, schema are properly defined, need to test the tacticals.