getting there with peqs and taus from bootstrap
almost there with peqs and taus from bootstrap