More work towards the Level 1 <-> Level 2 translation