@function ballistic-tau() {
  @return 2 * ballistic-pi();
}