Original Note

Verifying Code Style Using Linters - Relations

Evidence-backed relations