@chaimsolomon So, all this indicates to me that we should add some methods somewhere in crichton to get at this, eh?