Prover is superfluous now - it works :) - mvn scala:run