Using an abstraction twice