Text this: Theorems on existence and essence /