Formal - TJ-SHOTS