Hey!I am learning basic issabel and need help with basic stuff! Could someone help me with this proof assistant?