The first formal world models