a MATLOG b c