The mean weight of a domestic house cat is 8.9 pounds with a standard deviation of 1.1 pounds. The distribution of domestic house cat weights can reasonably be approximated by a normal distribution. What proportion of domestic house cats weigh less than 7 pounds?