Contract attributes cannot be read-only