Dynamic Logic Web Demo laid out, Next: the logic!