Separate intro, case, result in technicalities