Astronomy:ZTF J0139+5245 b