Thoughts on Mathematical P