Superficial technical divergences in how functions are formalized do not constitute a significant fo...