Just another project .. this time trying to completly proof an ensurance, without any assume