1.4: Testing premises and checking your arguments