Define Normalised Formula