Introducing the #and method on SetTrait; this involved a... surprising
amount of refactoring.