Added Theory 2.5 and 2.12