Copied from a recipe card in my friend Lionel‘s handwriting.
Note first that we need only purchase the following:
Bundle ‘o’ spinach
Chunks ‘o’ feta
Ricotta (Extra Smooth tacitly assumed hereafter)
Other vegges (e.g. peppers!) (optional)
Dough
The reader who is unfamiliear with our terminology is asked to consult the appendix.
Chop and cook spinach (the burner lemma allows us to do this), drain well (domain restriction) mix with cheese (axiom of choice?) and other veggies. Enclose in dough (why?) and “cook till done.” 