Refactor: Observer Pattern, for the checker