preliminary z3 stuff
make more bapy