Further progress on error propagation.