Efficient Implementationof A Factor - possibly broken?