Forbid override of some methods in Record