demonstratory

not defined yet