6 down
Novel part of proof putting off learner at first (4)
hints 0
checks 0
hints