El propósito de este estudio de revisión es precisar las razones por las cuales el razonamiento contrafáctico acelera la realización de algunas inferencias compuestas. En particular, la revisión de experimentos previos sugiere que las teorías imaginistas pronostican tal aceleración, mientras que las teorías formalistas no pueden pronosticarla. La estrategia para simplificar la comparación conceptual consiste en explicitar los supuestos representacionales imaginistas y formalistas para el razonamiento contrafáctico en el contexto de un mismo diseño experimental centrado en respuestas compuestas. Los resultados de la revisión sugieren que la teoría imaginista permite identificar lo posible dentro de la representación mental, mientras la teoría formalista reduce la representación a la lógica proposicional, sin considerar operacionalmente los límites de la memoria humana. Los resultados del análisis conceptual también sugieren que el efecto de facilitación debería observarse en contextos cerrados de dos alternativas, pero no en contextos de múltiples alternativas. Este pronóstico se relaciona con la representación de la negación compuesta implícita que incluye todo razonamiento contrafáctico. Se completa la revisión con una discusión de experimentos recientes formulados desde la teoría de modelos mentales y sugerencias para profundizar la puesta a prueba de la hipótesis imaginista mediante la atomización de las opciones de respuesta compuesta en el diseño contrafáctico clásico