Pattern for encoded psi made explicit