Text this: Investigating insight and rigour as separate constructs in mathematical proof.