see ../SPECIFICATION.md