Un conjunto mínimo, sin traducción completa, es el siguiente: