Text this: Bounded Arithmetic in Free Logic