concept proof