Only need gdb formula