ch3 - FS design proof seems ok