Added black correctness assessment