assumption now seems to output correctly