Sannsyn med vilkår og den ålmenne produktsetninga