added example for incomplete but valid kex