Checkpoint
One proof away from definite interval splitting