St Andrews proof-2