Enumeration trick