helper files for sections 4 and 5