top logic (logic)