Implement reaching definitions