Overside (Explicit)

Silent proof