Add tests e11 and e12