logic (1)