Some intermediate results fixed