Try to prove some basic results about ingredients and components