Working on reformulation