A little REX documentation