Module Demo Implement the rest of the functions // ORACLE // LIQUIDATION RISK // CAN liquidate ? Get interfaces Go to recon Get the TargetFunctions Run our invariant tests Campaigns -> Automatically run fuzzing jobs in PR