Refactored hardenProperty procedure to focus only on a single property.