Maximizing fault proof modularity with a composable pre-image oracle [KOR]