Mocked up for property theorems.