In olden days, the student of logic was given this problem: If half of 5 were 3, what would one-third of 10 be?