Add more discussion of encompassing