would batman have a bar mitzvah or a bat mitzvah?