pre3 (equation enumeration)