Binary section done apart from overview of proof.