Test documentation: PRE and POS