В статье анализируются наиболее влиятельные неформальные концепции императивного вывода с точки зрения их прагматической и логической приемлемости. Парадоксы императивного вывода объясняются методологической установкой параллелизма, которой придерживалось большинство исследователей. Отказ от параллелизма позволяет приступить к формулировке прагматических правил для императивов, гарантирующих их эффективное использование.