Dynamic Logic interview question

None