The motorcycle recorder, which is biased towards three-proof modeling, racked its brains at that time and lacked a grasp of the modeling language. It was basically a newly graduated work.