European Connection di Alfonso Sanchez, Formal Method, Elektrikall