``modified_construct`` is a strange name. Is it already modified?