Small logic sentence addition