val mathematician: coffee -> theorem
val engineer: soylent -> code