"Methods" fully verified