Implements Ex4