Verifying and modifying properties