B-5.3 Lev and RLev

Lev is GLev with n = 1. RLev is GLev with k = 1.