Proc#[]