encoding continued : transitivity of SubSet done