logical assertion