ot: alice should use k instead of s there...