general debugging, proof of principle