+ approaching the general setting: interfaces of the external-feedback-loop and a logic of an environment.