Now the explanation for answers without own explanation works for Armando's DSL notation