logical ideas