The Application of Logic