Identifying Higher-Order Rationality | Synapse