Åtminstone antager juan ,att