Contracts for attributes