fot , då deremot , under antagandeatt