Creating concrete actual proof