ρ name➡n,age➡a(σTrue(people)) ᑌ ρ age➡a,name➡n(people)