λ(x : { c : Natural }) → (x ⫽ { a = 1, b = 2 }).{ a, c }