advanced formulations (for twists, but without the models yet! still in dev.), inversed laws for ferro