AM: Bounding intervals L4