take VERUM ; :: thesis: VERUM is canonical
thus VERUM is canonical ; :: thesis: verum