first polymorphic spec passing