twelve − 7 =