Bilattice Requirements · SteamPeaks