Workflow can override security
You can use 
		Optiva
		workflow to override security and change a read-only formula. The 
		ObjPropertyRemove and 
		ObjPropertySet functions, among others, can change
		attributes of a formula. 
	 
For example, the status of a locked-down formula can be changed to 
		Obsolete. Use discretion when overriding security.