2 sat description of simple case