Forward Analysis