methods correct(), clear(), and lock() implemented in player