Why is it a problem that statements are "devoid of return information"? A statement occurs in a position where, by definition, no value it produces will be used.