!7

sclass Logic {
  void assume(S s) {}
}

p {
  new Logic l;
  l.assume("iwuamaiejhsykake (vjyukwvgqzhfcxme HELLO) 1");
  l.assume("iwuamaiejhsykake (vjyukwvgqzhfcxme HELLO, vjyukwvgqzhfcxme WORLD) 2");
}