Verifying implementation. Constructor first.