(Semi-)automated analysis via MOQA.

We present an overview of the MOQA operations using a demo. This includes the basic MOQA operations. We also focus on important concepts aiding average-case analysis such as series-parallel orders and isolated suborders. Given sufficient time we may cover insertions and deletions in binary search trees and the solution to Knott's paradox.