Flyspeck/ lt-def