For the sequence given recursively by ak = 2ak-1 - 3 for k > 2, where a1 = 4, someone has guessed a closed form and used the predicate R(n) for the statement "an = 2^n-1 +3." an = 23. ORO S (a) Are R(1), R(2), R(3), and R(4) true?