better syntax
Finished the Matching abstraction