Dynamic Logic Interview Question

None