Edited through 12.3