Heraclitus ridens: or, A discourse between jest and earnest, ...