!7

sS bla = [[
  (Q: Do you know what X is?) & (X is Y) => A: It's Y
  (Q: Do you know what X is?) & (No Y where (X is Y)) => A: What is X?
]];

p {
}