Checking in the implementation done so far