Some methods to test for HW1