@borkdude luckily we can measure to see if our reckons are right. Though trading off time vs memory can be tricky.