Started explicit abstraction and changed the variable calculation and the closing translations