En términos de una restricción sintáctica para el cálculo proposicional, es necesario, pero no suficiente, que las premisas y la conclusión compartan fórmulas atómicas.