bad_at_math‘s Following are private.