전제: 게임이 자동으로 라이브러리에 등록된다.
함의: 자동으로 게임이 라이브러리에 등록된다.
모순: 게임을 라이브러리에 직접 등록해야 한다.