Hidden Specification, Cleaned Code