Ejemplos de leyes declarativas