writing product valuations in models