e := !!L & write(e) & e = 20