: syntax implemented in lp5.md throughout.