#7.5 and #9