an alternative method with less modal literals