Documentation Figure 6: Adding a Mediating Concept to a Model, Beyond Basics, is confusing because it suggests that Domain for p is Domain for p1, but it's the range.