change trivial fact location