Terminal element
Redirect to:
Initial and terminal objects