Refactor: more complex visible but this is very trivial proof style