TODO – loops, measured_by and diverges