HW-9

Hamcrest-style verifications