LOGIC SENTENCES