follow

soft simp follow ( All 1 )