verified and documented output