3 ms·Yes, thank you. Mixed up machine assisted proofs.by tacomonstrous 8y agoYes, thank you. Mixed up machine assisted proofs.