Simplify definition of : using DOES>.