Text this: Expansive Fixed Point Theorems for tri-simulation functions