defmodule Proof do
end