Indistinguishable Resources Pattern

To be added in due course.