Forward Analysis Software.