Listo para añadir enunciados lógicos a las cosas.