Using the point B and the point H_b, construct a line h_b (rule W02);

% DET: points B and H_b are not the same

Using the point H_b and the line h_b, construct a line b (rule W10a);

Using the point B, the line b and the point H_b, construct a line h_B,2/3(b) (rule W15);

Choose freely a point G on the line h_B,2/3(b) (rule WOnline4)

Using the point G and the point B, construct a point M_b (rule W01);

Choose freely a point A on the line b (rule WOnline1)

Using the point A and the point M_b, construct a point C (rule W01);