Attempted defining an 'implentation' for State