 See above for uncovered lines.