Implements the for_some checker