added getters for property verification