make valid() "stronger"