Some intermediate results.