Text this: Consecuencia lógica, modalidad y generalidad irrestricta