loopphil({{L,R},NumPhil,Table) ->  think(),

                                   Table!{request,L,NumPhil},
                                   receive
                                        ok -> Table!{request,R,NumPhil}
                                   end,
                                   receive
                                        ok -> true
                                   end,
                             
                                   eat(),

                                   Table!{release,L},
                                   Table!{release,R},
                                   loopphil({L,R},NumPhil,Table).