Första vilkoret måste alltså vara : attvi