+ valid; add requires