diff `in` assumptions as well;
skip Chain steps altogether