I'm trying to make a Derivation tree for 'let x = 8 in 3 > x 4' I'm not sure if my solution is right or not. Can you check it and if there is an error, correct me please.

8^ ----------------- ----------- A, x : 8; x => 8 8 - 4^ 4 is 8 - 4 ------ ---------------------------------------------------- 4^ A, x : 8; 3 > 4^ false^ -------- ---------------------------------------------------------------------------------- A; 8=>8 A,x: 8; false^ => false ----------------------------------------------------------------------------------------------- A; let x - 8 in 3 > x - 4 = false

I put ^ where I am confused