Rules for tuples and records