A simple positive Robinson theory with LSTPSTP