segment addition postulate maze. There are any references about segment addition postulate maze in here. you can look below.