Two new combinators: hasName and (/&).