dec4 before TODO