Alproof added to comparison view.