Text this: Proving doctrine :