Demonstrate a reference constraint