Split Problem from Formula