Shen Wenlin says to YSITD
example: a => a_a app => app_app