formal Products