Added module with assertions (to be updated).