Understanding bool/must behavior (intersection? )