assert for k