Documentation and clarificatory comments provided