added images defunctionalization-at-work