The IB cycle of mathematical inquiry