Added a comment to the top of Conduit.v