Condensed logic