Level 12

[TimJSwan89]

I'm pretty sure that I should have beaten level 12 using compass, intersect, and circle. You can verify using the image (link given): https://gyazo.com/fad4c032971b4a2d4328de17dbc1c0e2 Step 1: Circle A to B gives J, where AJ is length AB Step 2: Length B to J compass gives circle at K Step 3: Circle at D is given by compass from length A to B Step 4: L is given by intersection Step 5: D to L is the segment asked for I made sure during each step that the necessary objects were highlighted, so I'm not sure what else could be done incorrectly. The length also should be the same. Ideas? Also, out of curiosity, is the model behind this program provably correct for its validation checks on all possible constructions?