Why are we multiplying by 1000? `t` is in picoseconds?