... within a system formal logic.