(library
 (name power_prover))