Smart constructor and projection function for formula choices.