More atMostOne tests
Test pointing out formula gen trade-off