GRAMSHIPBY LEMMA

Opening your workspace…