model echoed
clingo