Implement choice primitive
Replace create by header