logical assertions