to border {on}, [ bordered ; bordered ]