Use functions from cavalieri 0.0.4