Code earlier in fora-models/backends moved here