added description for coq version of trans_prerequisite