Some messy work on A*