forcing k to be implicit was a dirty trick and it's good to force it to be 1 for now