section 7.7 with setter