Teaching formal mathematics in primary education by