Add documentation to witness model