Add application-of-logic.