Please explain list semantics more explicitly.