Her vil subst(U,p) si resultatet av å utføre substitusjonen U på setningen p. Da kalles U en for p og q. av p og q er resultatet av å anvende U på begge setningene.