Logical bicontitional