Implements ex7