If a pencil costs 2 pounds, how much do 4 pencils cost?