The arrow solves the problem of dealing with complements