added docs to proposition header