master as of 15-Mar-2014
break up long lemmas