いや俺も30年位前に本読んだきりで実装系は触ってないから詳しくはわからんｗ

でも少なくとも、登録されてない関係性は「知らん」って返事が来ると思うよ
登録されてれば「a=非a」って返事までするとは思うけど。