Addded assertions on parameters