 Though the interaction principles KB1KB3 may look innocent on their own, they may lead to counterintuitive conclusions when combined with specific logics of knowledge and belief. First, Voorbraak (1993) shows that combining 5 for knowledge and D for belief with KB1, implies that