It is still that we are still working this out; this is what we're cooprating with academia on, formalizing the exact semantics. Such things take time.