Theorem SSLD fixed bolding on vector