This would be in line with my thoughts. Of course, my off-hand comment is just an exercise rather than an objective measurement. It'd only suffice for trivial

This would be in line with my thoughts. Of course, my off-hand comment is just an exercise rather than an objective measurement. It'd only suffice for trivial examples (say, where X is a strict subset of Y).