- whether they are defined in the same way for all formulations - add new problem type for current-limited equivalent