Added cases to genK