deut test, better compression by lewmas