it's another ordering of subfmlas problem