Rule-following_paradox loading ...