maximal consistent set

  1. REDIRECT complete theory