Opus 5 is very paranoid on giving proofs for every thing it claimed. so I let it keep this one line.