Documented (belong #14), 2018
Incorporate, 2018
Depth (Disjunction #3), 2016
into // method, 2018