finished morpho form. TODO: model verifications