Logic typos