The brothel of formulae