# i don't know what i am doing wrong got too many questions if anyone knows lean and some syntax please help me