⁸Remember that the equals sign is used in Prolog for unification, not arithmetic.