Sådana generela satser kunde manframkomma