Replacement Logic Coherence