maybe we should ignore the order of the terms here?