provided), that licensees may convey the work in object code form under the terms of sections 4 and 5, provided that you convey, or propagate by procuring conveyance of, a covered work