[kb] formal statement linked to sc-statement for one example