what is error proofing in lean. There are any references about what is error proofing in lean in here. you can look below.