Thank you Andreas, for the detailed response, this clarifies the intention behind "your" irrelevance. Thanks also to Dan for showing how it can be used to encode some other notion via Squash. Cheers, JP.