Home Blog Page 38

Cromwell’s Rule: Unlocking the Power of Zero Prior in Data Analysis

0

INDIA: In the world of data analysis and Bayesian statistics, there exists a powerful principle known as Cromwell’s Rule, also referred to as the “Zero Prior Rule.”

This fundamental concept plays a crucial role in decision-making, particularly when dealing with uncertain or limited information.

Named after the renowned English military and political leader, Oliver Cromwell, this rule has become an essential tool for researchers and analysts seeking to make informed judgments based on sparse or non-existent prior knowledge.

At its core, Cromwell’s Rule addresses the incorporation of prior beliefs or probabilities into Bayesian statistics. 

Bayesian statistics is a branch of statistics that utilizes probability theory to model and update beliefs about the unknown parameters of a system based on observed data. 

In Bayesian inference, prior beliefs represent the initial assumptions or beliefs about the parameters of interest before observing any data. These prior beliefs are combined with observed data to yield updated beliefs, known as posterior beliefs, using Bayes’ theorem.

However, there are situations where reliable prior information is lacking or non-existent. In such cases, attempting to incorporate a prior would be inappropriate and potentially misleading.

This is where Cromwell’s Rule comes into play, asserting that when there is no strong or reliable prior knowledge, it is more appropriate to use a “zero prior” or a non-informative prior.

The application of the zero prior implies that all possibilities are considered equally likely, and no assumptions or biases are introduced into the analysis. 

This approach allows the data to speak for itself, and the results are solely based on the observed evidence rather than any preconceived notions. 

By using a zero prior, researchers can ensure a more objective and unbiased analysis when faced with limited or uncertain prior information.

Cromwell’s Rule has gained particular importance in fields where prior knowledge may be hard to obtain or subjective, such as in medical research, social sciences, and machine learning. 

In medical studies, for instance, researchers might encounter rare diseases or conditions with little historical data or prior information available. 

In these cases, adopting a zero prior approach can lead to more cautious and reliable conclusions, preventing potentially erroneous interpretations based on biased assumptions.

Furthermore, in the field of artificial intelligence and machine learning, where vast amounts of data are available, but prior information may still be incomplete or uncertain, Cromwell’s Rule offers a means to ensure a fair and unbiased analysis of the data.

While Cromwell’s Rule has its merits, it is essential to recognize that there are situations where prior knowledge is available and valuable. 

In such cases, incorporating informative priors can improve the efficiency and accuracy of Bayesian analyses. Informative priors can help constrain the parameter space and provide more precise estimates, especially when data are scarce or noisy.

Nonetheless, zero prior remains a powerful principle, emphasizing the importance of acknowledging the limitations of prior information and allowing data-driven insights to guide decision-making.

Also Read: The Tocqueville Paradox: Unravelling the Complex Duality of Democracy and Individualism

Lewis Hamilton Provides Update on Contract Negotiations as Summer Break Approaches

0

HUNGARY: As the 2023 Formula 1 season approaches its midpoint, all eyes are on the future of seven-time world champion Lewis Hamilton.

Both fans and experts have been closely following the racing legend’s contract negotiations with Mercedes as he is currently a free agent.

While both Hamilton and Mercedes’ Team Principal, Toto Wolff, have expressed their desire to continue their successful partnership, the contract saga has been far from straightforward, leaving fans eagerly awaiting an official announcement.

Hamilton’s existing contract with Mercedes is set to expire at the end of the season, and earlier this year, there were expectations that a new deal would be settled before the summer break. 

However, as the Hungarian Grand Prix looms ahead, the situation remains unresolved, leaving some uncertainty about Hamilton’s future in the sport.

In a recent media interaction before the Hungarian Grand Prix, Hamilton shared some insights into the ongoing negotiations. 

When asked about the status of his contract and the possibility of an imminent announcement, the British driver revealed that they are very close to reaching an agreement. 

However, he playfully teased, “It might be announced at the end of the year. I might keep you waiting!”

Hamilton admitted that he had consciously taken a step back from the negotiations, letting the team handle the intricacies of the process. 

Despite his distance from the negotiations, Hamilton remains optimistic about the outcome and assured fans that there are no major obstacles left to address, just the final fine-tuning.

The delay in Hamilton’s contract renewal has fuelled speculation about his future in the sport. However, with his remarkable driving abilities and long-standing relationship with Mercedes, it is unlikely that Hamilton will consider parting ways with the team that has been instrumental in his success.

Moreover, the ongoing season has seen Mercedes face stiff competition, particularly from McLaren. At Silverstone, the team slipped behind McLaren in the battle with Red Bull, highlighting the need for improvements. 

However, as the Hungarian Grand Prix approaches, Hamilton remains hopeful about a stronger performance on the track, especially considering the characteristics of the Hungaroring circuit, which may favour the Mercedes W14.

Also Read: Max Verstappen’s Austria Sprint Shootout “Revenge Foul” on Lewis Hamilton Sparks Controversy 

Microsoft Unveils Game Pass Core: A Gaming Subscription Revolution for PC, Xbox Users

INDIA: In a game-changing announcement for PC and Xbox gamers, Microsoft has unveiled a groundbreaking new subscription service set to replace the current Xbox Live Gold.

Aptly named ‘Game Pass Core,’ this subscription promises an array of exciting features and an impressive library of games, all at the same price as the existing Xbox Live Gold.

One of the standout features of Game Pass Core is its remarkable offering of games. While Xbox Live Gold traditionally provides two games per month to its users, Game Pass Core is set to deliver a staggering 25 games every three to four months, for a total of 75 games per year, revolutionizing the gaming experience for subscribers.

Starting September 1, Microsoft will remove the games previously offered under Xbox Live Gold, making way for the new and improved Game Pass Core. 

Existing Gold subscribers need not worry about the transition, as they will be automatically switched to the upgraded subscription, gaining access to the plethora of exciting titles available.

For those without Game Pass Core, the available gaming options will be limited to Xbox 360 games. However, active subscribers of the new service will be able to enjoy not only the latest games offered in Game Pass Core but also retain access to the old ones.

The best part of this exciting announcement is that Game Pass Core will be available at the same price as Xbox Live Gold, currently priced at Rs. 349 monthly. This means users can enjoy the expanded library of games without paying any additional fees.

To sweeten the deal, Microsoft has also unveiled an impressive lineup of games that will be available with the launch of Game Pass Core. 

Among the highly anticipated titles are Among Us,’ ‘Doom Eternal,’ ‘Forza Horizon 4,’ ‘Gears 5,’ ‘Halo 5: Guardians,’ ‘Ori and The Will of the Wisps,’ and ‘The Elder Scrolls Online: Tamriel Unlimited,’ among others. This carefully curated selection of games will delight gamers of all tastes and preferences.

With Game Pass Core, Microsoft has truly upped the ante, offering an unparalleled gaming experience to its users. The increased number of games and the diverse range of titles ensure subscribers can access a continuous stream of entertainment, promising endless gameplay enjoyment.

Game Pass Core is undoubtedly the answer for gamers eagerly awaiting a more expansive and cost-effective subscription. 

The new service outperforms its predecessor and sets a new standard in gaming subscriptions, showcasing Microsoft’s commitment to enhancing the gaming experience for its loyal user base.

As the launch date approaches, the anticipation among the gaming community is palpable. With the potential for even more exciting titles and updates, Game Pass Core will be a game-changer in gaming subscriptions, offering endless possibilities and extraordinary value for PC and Xbox gamers.

Also Read: Microsoft Ceases Game Development for Xbox One, Focusing on Next-Gen Consoles

Neutron Star ‘Glitches’ While Obliterating Space Rock; Forms Mysterious Magnetars and Radio Bursts

UNITED STATES: A remarkable discovery sheds light on the enigmatic phenomena of magnetars and fast radio bursts (FRBs) as astronomers uncover the extraordinary connection between these extreme stellar corpses and their devastating impact on space rocks.

A recent study reveals how the neutron star SGR 1935+2154, located nearly 30,000 light-years away at the heart of the Milky Way, experienced a momentous “glitch” when it obliterated an asteroid that crossed its path.

Neutron stars, formed from the remnants of massive stars after a powerful supernova explosion, possess mind-boggling properties. Despite their tiny size, comparable to the average city on Earth, their mass equals that of our sun. 

With one teaspoon of neutron star matter weighing as much as 1 billion tons on Earth, this incredible density is complemented by the most powerful magnetic fields in the universe, giving rise to the term “magnetar.”

The study’s groundbreaking revelation stems from the correlation between magnetars and FRBs, which have puzzled scientists since the first sighting of the Lorimer Burst in 2007. 

Astronomers connected these elusive radio bursts to magnetars in 2020 when they detected two rapid-fire FRBs within the Milky Way. However, the exact mechanism behind this relationship has remained elusive until now.

According to the study, magnetars unleash FRBs when their immense gravitational force exerts overwhelming tidal forces on nearby asteroids, tearing them apart. 

This process, known as tidal disruption, is also observed near black holes. When a star ventures too close to a black hole, its gravitational pull shreds the star, leading to similar tidal disruption events.

As neutron stars likely retain the remnants of their planetary systems, it is plausible that asteroids surround them. When a magnetar’s gravity pulls an asteroid in and disintegrates it, the momentum carried by the space rock cannot be annihilated due to the laws of physics. 

Consequently, the “glitch” observed in the magnetar’s rotational speed results from this transferred angular momentum. Depending on the direction of the asteroid’s travel in relation to the spin of the magnetar, the glitch can either accelerate or decelerate the dense stellar remnant.

If the asteroid races in the same direction as the neutron star’s spin, it speeds up its rotation, resulting in a “glitch.” Conversely, if the asteroid travels in the opposite direction, it slows down the magnetar’s rotation, leading to an “anti-glitch.”

Intriguingly, the remains of the asteroid entangle within the magnetar’s intense magnetic field, causing the field lines to snap and reconnect in a process called magnetic reconnection. This phenomenon unleashes a powerful blast of radio waves known as the fast radio burst (FRB).

Furthermore, the study suggests that when the debris of the destroyed asteroid impacts the neutron star’s surface, it releases an astonishing amount of energy at various frequencies of light. 

Such powerful flares of energy, if detected by astronomers, could aid in identifying more asteroids being devoured by magnetars, further solidifying the link between these enigmatic neutron stars and the destructive events that trigger FRBs.

As scientists continue to explore the universe’s most intriguing mysteries, this newfound understanding of magnetars and their association with fast radio bursts opens up new avenues for unravelling the secrets of these cosmic wonders. 

The mesmerizing dance between these rapidly spinning neutron stars and the space debris they consume promises to captivate astronomers for years, providing unprecedented insights into the cosmos’ most powerful and enigmatic phenomena.

Also Read: NASA Perseverance Rover Uncovers Potential Building Blocks of Life on Mars

The Tocqueville Paradox: Unravelling the Complex Duality of Democracy and Individualism

0

INDIA: The Tocqueville Paradox, named after the renowned French political thinker Alexis de Tocqueville, delves into the intricate relationship between democracy and individualism, revealing a paradoxical coexistence that shapes the modern world.

Tocqueville’s seminal work, “Democracy in America,” published in the 19th century, continues to resonate today as it examines the dual forces that define the essence of democratic societies.

In his groundbreaking analysis of American democracy during his travels to the United States in the 1830s, Tocqueville observed two seemingly contradictory trends. 

On the one hand, he recognized the potential for democratic governance to foster equality, community, and solidarity among citizens. On the other hand, he discerned the rise of individualism, a self-centred pursuit of personal interests and ambitions that could undermine the fabric of democratic societies.

At the heart of the Tocqueville Paradox lies the tension between the collective pursuit of societal well-being and the individual’s quest for personal freedom and prosperity. Democracies, by their nature, strive for the common good, seeking to ensure the welfare of all citizens through equal rights and opportunities. 

Tocqueville believed that democratic institutions could unite people across diverse backgrounds and instill a sense of mutual responsibility, fostering a strong sense of community and social cohesion.

However, alongside the spirit of solidarity, Tocqueville noted a growing inclination towards individualism in democratic societies. 

While integral to the human condition, the pursuit of personal interests and material gain could potentially lead to the erosion of social bonds and weaken the sense of collective purpose. 

In this paradoxical dance, the push and pull of democracy and individualism shape the trajectory of modern societies, shaping the balance between liberty and equality.

The Tocqueville Paradox remains relevant in the contemporary landscape as democratic nations grapple with the complexities of fostering a cohesive and inclusive society while preserving individual freedoms. 

In pursuing economic prosperity and personal success, the paradox of individualism can lead to a sense of alienation and division, potentially undermining the democratic principles that provide the foundation for such aspirations.

The paradox becomes particularly pronounced in the era of social media and digital connectivity. While technological advancements have enabled unprecedented access to information and facilitated global connections, they have also created echo chambers that reinforce individual beliefs and perspectives. 

In pursuing personal validation, individuals may find themselves drifting further apart from a shared understanding of the common good.

Moreover, the Tocqueville Paradox also raises questions about the role of government and public institutions in democratic societies. Striking a delicate balance between ensuring individual liberties and promoting collective welfare requires thoughtful governance and leadership. 

As the demands of an interconnected world evolve, finding solutions to the paradox will demand innovative approaches that address the individual’s needs and the well-being of society as a whole.

Tocqueville’s exploration of the paradox serves as a reminder that the success of democracy is contingent on the active engagement and responsibility of its citizens. 

A vibrant democracy depends on individuals who are invested in their well-being and committed to the welfare of their communities and fellow citizens. 

Societies must foster a culture of civic responsibility, empathy, and dialogue that bridges the gap between individual pursuits and the collective good to navigate the intricacies of the Tocqueville Paradox.

Also Read: Quantum Gravity Paradox: Unraveling the Mysteries of the Fundamental Forces of the Universe

Nyck de Vries Reflects on Premature End to F1 Dream after AlphaTauri Snub

0

NETHERLANDS: In a heartfelt statement released on social media, Nyck de Vries broke his silence following his sudden dismissal from Red Bull’s AlphaTauri Formula 1 team.

The Dutch driver, amid his rookie season, expressed his disappointment and gratitude while acknowledging that life’s journey sometimes takes unexpected turns.

After an impressive performance as a substitute for Williams during the Italian Grand Prix last year, De Vries got the coveted opportunity to join Red Bull’s AlphaTauri team for the 2023 championship. 

Eager to pursue his F1 dream, he even decided to forgo his planned Formula E season. However, his journey with the team ended after just ten races, as Red Bull replaced him with the returning Daniel Ricciardo.

“I would like to thank Red Bull and Scuderia AlphaTauri for the opportunity to live my dream,” De Vries wrote in his statement. 

Despite the disappointment of his F1 chance ending prematurely, the young driver maintained a positive outlook, likening life to a journey and emphasizing the importance of embracing the challenges along the way.

The social media post received an outpouring of support from fans and fellow racers alike, highlighting the impact De Vries had made during his short stint in Formula 1. Many praised his maturity and resilience in the face of adversity.

Additionally, De Vries took the opportunity to address rumours circulating in the media. He clarified that he had not made the controversial comments regarding Red Bull’s championship win in 2021, which had surfaced in the press. 

Setting the record straight, the Dutch driver reiterated that he had not spoken to any media outlets and expressed his desire to take some time to regroup.

While De Vries did not elaborate on his plans, his positive attitude and determination indicate that this setback will not deter him from pursuing his racing dreams. Despite the disappointment of losing his F1 seat, he remains grateful for his experiences and opportunities.

De Vries’ unexpected departure from AlphaTauri marks another chapter in the ever-dynamic world of Formula 1, where driver changes and team decisions can shape the course of a season. As the F1 community bids farewell to one talent, it awaits the next chapter of the sport, knowing that the racing world is full of surprises.

Also Read: Ex-F1 Driver Nicholas Latifi Retires, Announces Future Plans at London Business School

Quantum Gravity Paradox: Unraveling the Mysteries of the Fundamental Forces of the Universe

INDIA: In their quest to understand the deepest mysteries of the cosmos, scientists have long sought to reconcile two fundamental theories of physics: quantum mechanics and general relativity. 

While both theories have proven to be remarkably successful in their respective domains, they seem to be incompatible when it comes to describing the behaviour of the universe on the smallest and grandest scales.

This enigmatic challenge, known as the Quantum Gravity Paradox, continues to perplex researchers and promises to reshape our understanding of the fundamental forces that govern the universe.

Quantum mechanics governs the subatomic realm, describing the behaviour of particles such as electrons and photons. It introduces the notions of uncertainty and probability, challenging our traditional understanding of determinism. 

On the other hand, general relativity, formulated by Albert Einstein, provides a brilliant description of gravity as the curvature of spacetime caused by massive objects. This theory has been incredibly successful in explaining the motion of planets, stars, and galaxies on cosmic scales.

The Quantum Gravity Paradox arises when one attempts to merge these two theories into a unified framework that can accurately describe the behaviour of the universe across all scales, from the tiniest subatomic particles to the vast expanse of the cosmos. 

At the heart of the paradox lies the fundamental disagreement between the continuous, smooth spacetime of general relativity and the discrete, quantized nature of quantum mechanics.

One of the key challenges scientists face is the nature of spacetime itself. General relativity treats spacetime as a smooth, continuous fabric that bends under the influence of matter and energy. 

Quantum mechanics, on the other hand, suggests that spacetime might be inherently granular, composed of indivisible units known as Planck length and Planck time. 

Attempting to merge these concepts leads to paradoxical predictions, such as the formation of singularities where gravity becomes infinitely strong, or the violation of causality, where cause and effect lose their meaning.

Many theoretical physicists have dedicated their careers to exploring potential solutions to the Quantum Gravity Paradox. Several approaches, such as string theory, loop quantum gravity, and causal dynamical triangulation, offer promising insights into the unification of quantum mechanics and general relativity.

However, the quest for a definitive answer remains ongoing, and the complete resolution of the paradox continues to elude the scientific community.

The implications of resolving the Quantum Gravity Paradox would be profound. A successful theory of quantum gravity would provide a more complete understanding of the early moments of the universe, such as the Big Bang, where the effects of both quantum mechanics and gravity were significant. 

It could also shed light on the nature of black holes, where the gravitational pull is so strong that even light cannot escape, and where quantum effects are believed to play a crucial role.

Moreover, a unified theory of quantum gravity could potentially open the door to the unification of all fundamental forces, including the electromagnetic force and the strong and weak nuclear forces, into a single, elegant framework known as the Theory of Everything.

While the Quantum Gravity Paradox remains one of the most profound and challenging enigmas in physics, it also represents an exciting frontier of scientific exploration. 

As technology advances and theoretical tools become more sophisticated, researchers are optimistic that they will eventually unlock the secrets of quantum gravity and bring us closer to a unified understanding of the universe’s underlying laws. 

Until then, the paradox serves as a testament to the boundless curiosity and determination of humanity to unravel the mysteries of the cosmos.

Also Read: Russell’s Paradox: The Mind-Boggling Self-Referential Conundrum of Classic Mathematics

Bengaluru Police Foil ISIS-backed Plot, Arrest Five Terror Suspects

INDIA: The Bengaluru Police have successfully thwarted an alleged ISIS-backed plot targeting vital installations within the state, apprehending five terror suspects.

The police made the arrests following a coordinated operation by the Crime Branch, which also led to the recovery of a significant cache of weapons and explosive materials.

The suspects are Syed Suhel, Umar, Janid, Mudasir, and Zahid. The investigation suggests that the group had formulated plans to carry out a destructive blast in Bengaluru, posing a severe threat to public safety. 

Disturbingly, all five individuals had previously been accused in a 2017 murder case and were incarcerated at the Parappana Agrahara Central Jail. 

During their time in prison, they came into contact with terrorists and became involved in their activities. The Crime Branch’s statement reveals the extent of the weapons and explosive materials seized during the operation. 

The recovered items include four walkie-talkies, seven country-made pistols, 42 live bullets, two daggers, two satellite phones, and four grenades. These discoveries underscore the situation’s gravity and the planned attack’s potential magnitude.

The swift and decisive action by the Bengaluru Police highlights their commitment to maintaining public safety and preserving peace within the city. 

Authorities have been working diligently to dismantle terror networks and prevent harm to innocent civilians. The successful operation is a testament to their vigilance and expertise in counterterrorism efforts.

In response to this alarming development, authorities have heightened security measures across Bengaluru. Law enforcement agencies have increased surveillance, patrols, and intelligence gathering to ensure the safety of the public and vital installations. 

The incident is a stark reminder of the ongoing global threat posed by terrorist organizations, such as ISIS, and the importance of continuous cooperation between national and international security agencies.

The arrest of these five terror suspects has undoubtedly averted a potential disaster and saved countless lives. The investigation into the ISIS-backed plot remains ongoing as authorities seek to uncover any additional accomplices or potential targets. 

The apprehension of these individuals demonstrates the effectiveness of intelligence-based operations and serves as a warning to those seeking to disrupt peace and harmony in society.

Also Read: Israel’s Supreme Court Authority Curtailed, Triggering Political Crisis

Ex-F1 Driver Nicholas Latifi Retires, Announces Future Plans at London Business School

0

ENGLAND: In a surprising turn of events, former Formula 1 driver Nicholas Latifi has decided to take a break from racing and head back to school. Following the conclusion of the 2022 season, Latifi’s F1 career ended when his team, Williams, replaced him with rising star Logan Sargeant.

Throughout his career, Latifi faced unwarranted criticism and became the subject of numerous internet memes due to his occasional underwhelming performances on the track. 

As a paid driver, he received little leniency from critics. He faced backlash from certain sections of the F1 fandom after inadvertently playing a role in Max Verstappen’s 2021 world title victory, which led to him receiving death threats. Since leaving the sport last year, he has remained out of the public eye.

However, on Tuesday, Latifi resurfaced to share his plans. In a statement, he announced that he has decided to step away from racing for the time being and pursue a business degree. 

Latifi expressed his gratitude to his global supporters, who had been curious about his activities and future endeavours. The Canadian driver revealed, “I decided very early in the year that I wouldn’t have any racing plans for 2023. Not having the same routine I’d been in for over half my life felt very strange.”

Latifi shared that his interest in the business world had always been strong, and had circumstances been different, he would have pursued it at university instead of racing. With that in mind, he decided to pursue an MBA degree and focus on transforming the next phase of his life.

After extensive research, Latifi revealed that he had been accepted into the Master of Business Administration (MBA) program at London Business School and will commence his studies next month. 

He emphasized the challenging nature of the application process and the dedication required to secure a place at a prestigious business school.

Also Read: Daniel Ricciardo Makes Sensational F1 Comeback with Red Bull’s AlphaTauri

Martian Gullies Carved by Climate Shifts, Study Suggests Possibility of Ancient Water Flow

0

UNITED STATES: New research suggests that the gullies found on Mars were formed when the Red Planet experienced significant shifts in climate due to a high tilt on its axis. These shifts triggered dramatic changes in weather patterns, resulting in the cascading flow of water down slopes, which carved out ravines on the Martian surface.

The discovery of gullies on Mars in 2000 raised questions about the planet’s geological history and the potential presence of water.

These Martian ravines closely resemble channels found in Earth’s Dry Valleys of Antarctica, which are formed by water from melting glaciers. 

However, the existence of these gullies at elevations where liquid water is not expected under the current Martian climate poses a puzzling challenge for scientists.

Previous hypotheses suggested that the gullies may have been created by carbon dioxide frost that sublimated during warm spells, causing rock and debris to slide down slopes. However, this explanation needs a natural analogy on Earth. 

Another possibility is that the gullies formed when Mars had a more favourable climate for small amounts of liquid water to survive on its surface. This scenario could explain the height and formation of the gullies, with meltwater from glaciers carving out channels down slopes.

To investigate the possibility of liquid water on Mars, researchers studied its axial tilt, or obliquity, and its historical variations. The degree of tilt determines the variation in sunlight different regions receive over the planet’s year-long orbit. 

Mars has an obliquity of about 25 degrees, but it has oscillated between 15 and 35 degrees over hundreds of thousands of years, leading to significant climate fluctuations.

Using a 3D global model of the Martian climate, scientists explored the effects of a higher obliquity on the planet’s weather patterns. 

They found that during periods of higher obliquity, the sublimation of carbon dioxide ice would increase the density of the Martian atmosphere, while surface temperatures would surpass the melting point of water ice. 

These conditions likely occurred multiple times in the past few million years, with the most recent instance occurring approximately 630,000 years ago.

Furthermore, the regions where researchers observed gullies on Mars have abundant water ice near the surface, suggesting a higher water content in the past million years. 

The researchers propose that during periods of high axial tilt, much of this ice melted, forming gullies in the elevated areas where they currently sit.

The study’s findings imply that future tilts in Mars’ orbit could generate meltwater again at these gully locations, making them promising targets for further exploration. 

The presence of water is a vital factor in the search for potential signs of life, and investigating these gullies could provide valuable insights into Mars’ geological and biological history.

Also Read: NASA Perseverance Rover Uncovers Potential Building Blocks of Life on Mars