Talk:Bauer maximum principle