examples - property constraints