
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
A rectangular piece of paper  $ABCD$  has sides of lengths  $AB = 1$ ,  $BC = 2$ . The rectangle is folded in half such that  $AD$  coincides with  $BC$  and  $EF$  is the folding line. Then fold the paper along a line  $BM$  such that the corner  $A$  falls on line  $EF$ . How large, in degrees, is  $\angle ABM$ ?
[asy]
size(180); pathpen = rgb(0,0,0.6)+linewidth(1); pointpen = black+linewidth(3); pointfontpen = fontsize(10); pen dd = rgb(0,0,0.6) + linewidth(0.7) + linetype("4 4"), dr = rgb(0.8,0,0), dg = rgb(0,0.6,0), db = rgb(0,0,0.6)+linewidth(1);
pair A=(0,1), B=(0,0), C=(2,0), D=(2,1), E=A/2, F=(2,.5), M=(1/3^.5,1), N=reflect(B,M)*A;
D(B--M--D("N",N,NE)--B--D("C",C,SE)--D("D",D,NE)--M); D(D("M",M,plain.N)--D("A",A,NW)--D("B",B,SW),dd); D(D("E",E,W)--D("F",F,plain.E),dd); 
[/asy]

Present the answer in LaTex format: \boxed{Your answer}
user