Test the claim that the proportion of men who own cats is smaller than 70% at the 0.05 significance level. The null and alternative hypothesis would be: