Stars are a rounding error — LessWrong