signature {
propositions { }
nominals { }
relations { gsw }
}

theory

{
  []false;
  <gsw><> true;
}