On Limit-Conditional Terms and Internal Reflexivity | Synapse