improve MARKOS theories