EXPORT M4.

IMPORT Lists.

BASE Day, Person.

CONSTANT Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday : Day;

Fred, Bill, Mary : Person.

PREDICATE Append3 : List(a) * List(a) * List(a) * List(a).