Smod2 - Services - Subscription To An Insurance Policy (Formalized)