open proof