Added fext to theory