execution proof of concept