Logik more dense