Stirling Marathon 2018 Proofs