Refined explanation.md with new knowledge from implementation. Removed functions from the specification for now.