This will allow you to ajust any code mangled by the incorrect property automata I posted last week. Good luck!