o

Title: Proving approximate implementations