Γ |- e:σ
 
This profile is private.