Day 2 Reasoning Session Vmr Logics