*⊥i⊥⊥iF∩cK*