Recursion and realted contexts - corrected, cases completed