nullとsatisfy