I describe useful tools for the construction of (designer) polyfold Fredholm problems. This provides a framework to study moduli spaces as they occur in symplectic geometry/topology  and symplectic dynamics.