Double atwood machine tension. Also note that a Double is a Number, so it...