more :pre constraints on fns@