Describir: Programación basada en invariantes