rewrite goal
- Algorithm: Unique types. Now more easy to read