Use knockout to display draft proof hypotheses