Sp Var K Positive True Integer True