consider T being TopAugmentation of R such that
A1: T is Scott by Th3;
take T ; :: thesis: ( T is Scott & T is correct )
thus ( T is Scott & T is correct ) by A1; :: thesis: verum