checked examples still work