This is a proof to see how this works