La llamada Cláusula Mariposa es un modelo de contrato de cláusula única que defiende el derecho moral de los programadores y de las industrias de software a oponerse de una forma eficaz -recurriendo a Tribunales de Arbitraje- a que los Estados se sirvan de sus creaciones para violar los Derechos Humanos.