No More Learning

is_ R ||           R m.