added assertions for defined methods