Simplification $$Obj → $Obj, use vars → our
formatting