Added preliminary isDefinedBy statements. Need to go over them to ensure they are correct.