added the converse for 3.17 d