The arrow solves the problem of dealing with complements

→