[analysis.vs.impl.gif]