Password: formal cleanliness