It should also be possible to define `dict`s in Logics. This is, because they might be useful as parameters or for tests.