Applying Theorems and Reasons