Elixir – Logic Exploration