はい、HARKingの問題は「それを説明するような理論」をさも「それを予測するような理論」として発表することです。前者は簡単なのに対して後者は難しいので。