Let a, b, and m