Remove constant fact distinction