@jtuple asked me to comment. I know he wasn't asking me to comment on style but why not just `not vclock:descends(RObj, Clock)` here, rather than another case statement?