propagating constants