Hard math