Write a more detailed specification for the function append shown here, which uses specification cases to make

Question:

Write a more detailed specification for the function append shown here, which uses specification cases to make four separate instances of the function explicit in the specification:
when lst1 is empty and lst2 is empty, when lst1 is empty and lst2 is nonempty, when lst1 is nonempty and lst2 is empty, and when lst1 is nonempty and lst2 is nonempty:

Fantastic news! We've Found the answer you've been seeking!