Added some ideas at resources, removed checker framework.