Lifted Logic 3/5/23 (1st rnd trades)