Implemented all top level amalgamations of Correctness tags