Fixed point of record