A property of a module to be able to check for errors. Go and Rust have this enforced A property of Clean Code