reaches(1,2). reaches(1,3). reaches(1,4). reaches(1,5).