Quasistrict 3- and 4-categories

We will try to understand Vicary and Bar's definition of quasistrict 3- and 4-categories, based on https://arxiv.org/pdf/1610.06908.pdf