Problem definitions