Comment on ExpensiveFlipFlops's profile