Order-k rationality