Definition:Superimplicant