[Stars+proof+cover]