stuffing things in formalization