. . "And then you assume k is an element (like you did) so you know that:" . .