Gallery/implicit-dun-for-proof