Ett bestämdt formuleradt antagandeskulle