declare fun {DeleteFirst L A} case L of H|T then if H == A then T else H|{DeleteFirst T A} end else nil end end