Post utiliza los sistemas deductivos normales para crear un modelo de procedimientos efectivo.