undefined Roger Penrose