Use proclaim for assertions
Use short-hand functions in tests