added assume