@tocode: What about proof