formally k